Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett

Source URL: www.ccs.neu.edu

An efficient counter-type domain extension preserving SPRP Mridul Nandi CINVESTAV-IPN, Mexico City Abstract. In this paper, we present how one can encrypt messages of sizes at least n efficiently

Source URL: www.isical.ac.in

Type Systems for Concurrent Programs Naoki Kobayashi The University of Tokyo Abstract. Type systems for programming languages help reasoning about

Source URL: www-kb.is.s.u-tokyo.ac.jp

Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku University?? Abstract. We propose a type system for a programming language with

Source URL: www.kb.ecei.tohoku.ac.jp

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www-kb.is.s.u-tokyo.ac.jp

Influences of Experiences of Robots into Negative Attitudes toward Robots* Tatsuya Nomura, Member, IEEE  Abstract— In order to investigate what type of experiences of

Source URL: www.rikou.ryukoku.ac.jp

LOCAL RINGS OF COUNTABLE COHEN-MACAULAY TYPE arXiv:math.ACv1 6 May 2002 CRAIG HUNEKE AND GRAHAM J. LEUSCHKE Abstract. We prove (the excellent case of) Schreyer’s conjecture that a local ring with countable

Source URL: www.leuschke.org

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Source URL: fritzo.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Logic in computer science
• Lambda calculus
• Models of computation
• Type theory
• Combinatory logic
• Theorem
• Structure
• Interpretation

Title: Morita conjecture on projective integral models of Shimura varieties of Hodge type Abstract: Let A be an abelian variety over a number field. Let G be the Mumford–Tate group of some extension AC of A to the fiel

Source URL: www.math.columbia.edu

ETA INVARIANT AND SELBERG ZETA FUNCTION OF ODD TYPE OVER CONVEX CO-COMPACT HYPERBOLIC MANIFOLDS COLIN GUILLARMOU, SERGIU MOROIANU, AND JINSUNG PARK Abstract. We show meromorphic extension and give a complete description

Source URL: www.math.ens.fr